Mathematical diagram - PDFSEARCH.IO - Document Search Engine

Mathematical diagram
Results: 216

#	Item
111	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
112	Microsoft Word - iwls07-final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-05-01 11:44:52 Boolean algebra Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Binary decision diagram Functional dependency Conjunctive normal form Theoretical computer science Mathematics Mathematical logic
113	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
114	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
115	IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—II: EXPRESS BRIEFS 581 Connecting Border Collision With Saddle-Node Bifurcation in Switched Dynamical Systems Add to Reading List Source URL: repository.lib.polyu.edu.hk Language: English - Date: 2014-12-02 23:41:32 Mathematics Saddle-node bifurcation Bifurcation diagram Period-doubling bifurcation Dynamical system Buck converter Chaos theory Biological applications of bifurcation theory Catastrophe theory Bifurcation theory Mathematical analysis Systems theory
116	An Extensible Complex Fast Fourier Transform Processor Chip For Real-time Spectrum Analysis And Meas - Instrumentation and Measurement, IEEE Transactions on Add to Reading List Source URL: westminsterresearch.wmin.ac.uk Language: English - Date: 2010-08-11 10:33:48 Fast Fourier transform Butterfly diagram Spectrum analyzer Twiddle factor Discrete Fourier transform Digital signal processor Cooley–Tukey FFT algorithm Discrete Hartley transform Mathematical analysis Digital signal processing Fourier analysis
117	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 34, Number 1, January 1997 S[removed]00699-X Diagram geometries, by Antonio Pasini, Oxford Sciences Publications, Oxford Add to Reading List Source URL: www.ams.org Language: English - Date: 2012-06-12 18:15:56 Group theory Incidence geometry Lie groups Algebraic combinatorics Geometric group theory Buekenhout geometry Building Generalized polygon Projective plane Abstract algebra Geometry Mathematics
118	A Fast Fourier Transform Compiler Matteo Frigo MIT Laboratory for Computer Science 545 Technology Square NE43-203 Cambridge, MA[removed]removed] Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:50 Digital signal processing Fast Fourier transform Discrete Fourier transform Cooley–Tukey FFT algorithm FFTW Split-radix FFT algorithm Directed acyclic graph Butterfly diagram Topological sorting Mathematical analysis Mathematics Fourier analysis
119	Circles and Squares This problem gives you the chance to: • interpret a mathematical diagram • show your understanding of area • use algebra in context The diagram shows a square with a circle inside it, and a smal Add to Reading List Source URL: www.noycefdn.org Language: English - Date: 2009-06-26 19:22:13 Angle Euclidean plane geometry Equations Pythagorean theorem Triangle Circle Right triangle Area Geometry Triangles Triangle geometry
120	USA Mathematical Talent Search Solutions to Problem[removed]www.usamts.org[removed]In the diagram at right, each vertex is labeled with a different positive factor of 2008, such that if two vertices are connected by an Add to Reading List Source URL: www.usamts.org Language: English - Date: 2010-09-20 13:54:57 Graph labeling Edge-graceful labeling Graph theory Mathematics Graph

UPDATE